/*
	page_table_control.h

	contains headers for page table related functionality

	Author: Aidan Goddard 16/12/13
*/

#ifndef PAGE_TABLE_CONTROL_H_INCLUDED
#define PAGE_TABLE_CONTROL_H_INCLUDED

void CreateBasePageTable(uint64_t base_address, uint64_t allocation_table_address);


#endif

